satisfiable formula
[數] 可滿足公式
熱門查詢
- seely adj. 可憐的，令人憐憫的
- Dempsey 登普西（人名）
- oilman n. 石油商；石油工人
- remonstrance n. 抗議；規勸；諫書
- Birkbeck n. (Birkbeck)人名；(英)伯克貝克；(瑞典)比爾克貝克
- spindly adj. 細長的；紡錘形的
- inclinometer n. 傾角羅盤；傾斜計；傾角計
- waterwheel n. 水車；水輪；吊水機
- Rudi [人名] 魯迪; [地名] [坦桑尼亞] 魯迪
- Pickwick n. Dickens 著 Pickwick Papers 中的主角
- sadden vt. 使悲傷，使難過；使黯淡 vi. 悲哀；悲痛
- equivocal adj. 模棱兩可的；可疑的
- xhosa n. 科薩人使用的班圖語；科薩人（居住在南非開普省的牧民）
- celebrating v. 慶祝（celebrate的現在分詞）
- imperiled vt. 危及；使陷于危險
- subsequent adj. 后來的，隨后的
- schematize vt. 系統化；計劃；扼要表示
- anabolic adj. 合成代謝的；同化的
- Valencia n. 巴倫西亞（西班牙城市）
- shouting n. 大喊大叫 vi. 大喊大叫（shout的現在分詞）
